ePMC

Benchmark
Model:bluetooth v.1 (DTMC)
Parameter(s)mrec = 1
Property:time (exp-reward)
Invocation (default)
java -Xms10240m -Xmx10240m -jar ./root/epmc-standard.jar check --model-input-files bluetooth.prism --model-input-type prism --property-input-files bluetooth.props --property-input-names time --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6 --const mrec=1
Execution
Walltime:570.848536491394s
Return code:1
Log
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property time
start-building-explorer
start-building-initial-states-explorer
STDERR
Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
	at epmc.dd.cudd.LibraryDDCUDD.walkerHigh(LibraryDDCUDD.java:535)
	at epmc.dd.Walker.high(Walker.java:81)
	at epmc.dd.EnumerateSAT.recurse(EnumerateSAT.java:144)
	at epmc.dd.EnumerateSAT.recurse(EnumerateSAT.java:146)
	at epmc.dd.EnumerateSAT.recurse(EnumerateSAT.java:146)
	at epmc.dd.EnumerateSAT.recurse(EnumerateSAT.java:146)
	at epmc.dd.EnumerateSAT.recurse(EnumerateSAT.java:146)
	at epmc.dd.EnumerateSAT.recurse(EnumerateSAT.java:146)
	at epmc.dd.EnumerateSAT.recurse(EnumerateSAT.java:146)
	at epmc.dd.EnumerateSAT.recurse(EnumerateSAT.java:146)
	at epmc.dd.EnumerateSAT.recurse(EnumerateSAT.java:152)
	at epmc.dd.EnumerateSAT.recurse(EnumerateSAT.java:146)
	at epmc.dd.EnumerateSAT.recurse(EnumerateSAT.java:152)
	at epmc.dd.EnumerateSAT.recurse(EnumerateSAT.java:146)
	at epmc.dd.EnumerateSAT.recurse(EnumerateSAT.java:152)
	at epmc.dd.EnumerateSAT.recurse(EnumerateSAT.java:146)
	at epmc.dd.EnumerateSAT.recurse(EnumerateSAT.java:152)
	at epmc.dd.EnumerateSAT.recurse(EnumerateSAT.java:152)
	at epmc.dd.EnumerateSAT.recurse(EnumerateSAT.java:146)
	at epmc.dd.EnumerateSAT.recurse(EnumerateSAT.java:146)
	at epmc.dd.EnumerateSAT.recurse(EnumerateSAT.java:146)
	at epmc.dd.EnumerateSAT.recurse(EnumerateSAT.java:146)
	at epmc.dd.EnumerateSAT.recurse(EnumerateSAT.java:146)
	at epmc.dd.EnumerateSAT.recurse(EnumerateSAT.java:146)
	at epmc.dd.EnumerateSAT.recurse(EnumerateSAT.java:146)
	at epmc.dd.EnumerateSAT.recurse(EnumerateSAT.java:146)
	at epmc.dd.EnumerateSAT.recurse(EnumerateSAT.java:146)
	at epmc.dd.EnumerateSAT.recurse(EnumerateSAT.java:146)
	at epmc.dd.EnumerateSAT.recurse(EnumerateSAT.java:146)
	at epmc.dd.EnumerateSAT.recurse(EnumerateSAT.java:152)
	at epmc.dd.EnumerateSAT.recurse(EnumerateSAT.java:152)
	at epmc.dd.EnumerateSAT.recurse(EnumerateSAT.java:146)